A PROOF RULE FOR MULTIPLE CAROUTINE SYSTEMS.PRITCHARD PA.1976; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1976; VOL. 4; NO 6; PP. 141-143; BIBL. 8 REF.Article

AN AXIOMATIC BASIS FOR PROVING TOTAL CORRECTNESS OF GOTO-PROGRAMS.WANG A.1976; B.I.T.; DANM.; DA. 1976; VOL. 16; NO 1; PP. 88-102; BIBL. 6 REF.Article

REMARQUES SUR LES FONDEMENTS DE LA SEMANTIQUE AXIOMATIQUE.MOHAND ARESKI NAIT ABDALLAH.1976; ; S.L.; DA. 1976; PP. (127P.); BIBL. 7 P. 1/2; (THESE DOCT. 3E. CYCLE, SPEC. MATH.; PARIS VII)Thesis

UEBER ALLGEMEINE SEMIOTISCHE EIGENSCHAFTEN VON WORTMENGEN. = SUR LES PROPRIETES SEMIOTIQUES GENERALES DES GROUPES DE MOTSSCHREIBER A.1976; GRUNDLAGENSTUD. KYBERN. U. GEISTESWISSENSCH.; DTSCH.; DA. 1976; VOL. 17; NO 3; PP. 87-95; BIBL. 10 REF.Article

AN AXIOMATIC TREATMENT OF EXCEPTION HANDLINGYEMINI S.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 281-288; BIBL. 16 REF.Conference Paper

COMPLEMENTARY DEFINITIONS OF PROGRAMMING LANGUAGE SEMANTICS.DONAHUE JE.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 42; PP. 1-172; BIBL. 5 P. 1/2; ISBN 354007628XSerial Issue

TOWARDS AUTOMATIC DEBUGGING OF PROGRAMS.KATZ S; MANNA Z.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 143-155; BIBL. 17 REF.Conference Paper

ON EFFECTIVE AXIOMATIZATIONS OF HOARE LOGICSCLARKE EM JR; GERMAN SM; HALPERN JY et al.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 309-321; BIBL. 12 REF.Conference Paper

A PRACTICAL METHOD OF DOCUMENTING AND VERIFYING ADA PROGRAMS WITH PACKAGESLUCKHAM DC; POLAK W.1980; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1980; VOL. 15; NO 11; PP. 113-122; BIBL. 17 REF.Conference Paper

THE MULTIPLE ASSIGNMENT STATEMENT.GRIES D.1978; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1978; VOL. 4; NO 2; PP. 89-93; BIBL. 5 REF.Article

A COMPARISON OF THE AXIOMATIC AND FUNCTIONAL MODELS OF STRUCTURED PROGRAMMINGBASILI VR; NOONAN RE.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 5; PP. 454-465; BIBL. 12 REF.Article

A THEORY OF NONDETERMINISMKENNAWAY JR; HOARE CAR.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 338-350; BIBL. 6 REF.Conference Paper

PROGRAMMING LANGUAGE CONSTRUCTS FOR WHICH IT IS IMPOSSIBLE TO OBTAIN GOOD HOARE-LIKE AXION SYSTEMS.CLARKE EM JR.1977; IN: ACM SYMP. PRINC. PROGRAM. LANG. 4; LOS ANGELES; 1977; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1977; PP. 10-20; BIBL. 11 REF.Conference Paper

AXIOMATIC APPROACH TO SIDE EFFECTS AND GENERAL JUMPS.KOWALTOWSKI T.1977; ACTA INFORMAT.; ALLEM.; DA. 1977; VOL. 7; NO 4; PP. 357-360; BIBL. 8 REF.Article

CORRECT COMPUTATION RULES FOR RECURSIVE LANGUAGES.DOWNEY PJ; RAVI SETHI.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 378-401; BIBL. 23 REF.Article

PARALLEL PROGRAMMING: AN AXIOMATIC APPROACH.HOARE CAR.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 11-42; BIBL. 18 REF.; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

GUARDED COMMANDS, NON-DETERMINACY AND A CALCULUS FOR THE DERIVATION OF PROGRAMS.DIJKSTRA EW.sdIN: INT. CONF. RELIAB. SOFTWARE, PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 2.0-2.13; BIBL. 2 REF.Conference Paper

The axiomatic semantics of programs based on Hoare's logicBERGSTRA, J. A; TUCKER, J. V.Acta informatica. 1984, Vol 21, Num 3, pp 293-320, issn 0001-5903Article

PROOF THEORY OF PARTIAL CORRECTNESS VERIFICATION SYSTEMS.GERHART SL.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 355-377; BIBL. 27 REF.Article

AN EXERCISE IN PROVING PARALLEL PROGRAMS CORRECT.GRIES D.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 57-81; BIBL. 4 REF.; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

A METHODOLOGY FOR VERIFYING PROGRAMS.VON HENKE FW; LUCKHAM DC.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 156-164; BIBL. 15 REF.Conference Paper

AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES. A THEORETICAL ASSESSMENTMEYER AR; HALPERN JY.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 203-212; BIBL. 17 REF.Conference Paper

A COMPLETE AND CONSISTENT HOARE AXIOMATICS FOR A SIMPLE PROGRAMMING LANGUAGECHARNIAVSKY JC; KAMIN SN.1979; J. ASS. COMPUTG MACHIN.; USA; DA. 1979; VOL. 26; NO 1; PP. 119-128; BIBL. 12 REF.Article

ON A FINITE AXIOMATIZATION OF THE DATA TYPE L.SUBRAHMANYAM PA.1978; SIGPLAN NOT.; U.S.A.; DA. 1978; VOL. 13; NO 4; PP. 80-84; BIBL. 10 REF.Article

MATHEMATICAL SEMANTICS AND DATA FLOW PROGRAMMING.KOSINSKI PR.1976; IN: CONF. REC. ACM SYMP. PRINC. PROGRAM. LANG. 3. SYMP.; ATLANTA, GA.; 1976; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1976; PP. 175-184; BIBL. 6 REF.Conference Paper